weight of invariant

不变式的权